((v7 v5 7) (v6 v8 0) (v8 v5 4) (v2 v6 4) (v1 v6 2) (v4 v8 1) (v3 v9 0) (v4 v2 2) (v6 v7 9) (v5 v2 8) (v1 v9 4) (v3 v7 7) (v4 v6 5) (v5 v1 8) (v5 v4 3) (v3 v1 9) (v2 v1 3) (v1 v8 0) (v2 v7 0) (v9 v2 8) (v3 v5 6))
90
((v2 v3))